Law and Ethics of Morally Significant Machines: The case for pre-emptive prevention

Interest in the ethics of Artificial Intelligence systems is dominated by the question of how these sorts of technologies will benefit or harm human individuals and societies. Much less attention is given to the ethics of our interaction with AI systems from the perspective of what may harm or benefit the systems themselves. Despite this, there is potential for future AI systems to be designed in a way that makes them either morally significant entities, or gives them the tools with which to develop degrees of moral significance, perhaps even personhood in the moral sense. This thesis proposes how certain contemporary paradigms in AI might in the future create a morally significant machine, perhaps even a machine person; one which can be harmed to a degree similar to ourselves. This type of system would be the first technology towards which the design of law and policy would be obliged to consider not just human best interests, but the best interests of the technology itself: how it is designed, what we can use it for, what can be done to it, and what we are duty-bound to provide it with. The thesis proposes a wide range of legal and social problems that the invention of such a system would engender, particularly in relation to paradigms like property, legal personality, and rights of both positive and negative nature. It also explores the fraught line-drawing problem of establishing which systems matter and which do not, and what the legal implications of this would be. It establishes that the net demands such a machine would place upon humans informs an argument that there should be a pre-emptive policy to prevent their creation, so as to mitigate harms to both human society and the machines themselves. When closely examined, the reality of a social partnership between persons – both human and machine – is too problematic and too profoundly challenging to the conception of anthropocentric hegemony to be justifiable

Quantum Information and Variants of Interactive Proof Systems

For nearly three decades, the model of interactive proof systems and its variants have been central to many important and exciting developments in computational complexity theory such as exact characterization of some well known complexity classes, development of probabilistically checkable proof systems and theory of hardness of approximation, and formalization of fundamental cryptographic primitives. On the other hand, the theory of quantum information, which is primarily concerned with harnessing quantum mechanical features for algorithmic, cryptographic, and information processing tasks has found many applications. In the past three decades, quantum information has been used to develop unconditionally secure quantum cryptography protocols, efficient quantum algorithms for certain problems that are believed to be intractable in classical world, and communication efficient protocols. In this thesis, we study the impact of quantum information on the models of interactive proof systems and their multi-prover variants. We study various quantum models and explore two questions. The first question we address pertains to the expressive power of such models with or without resource constraints. The second question is related to error reduction technique of such proof systems via parallel repetition. The question related to the expressive power of models of quantum interactive proof systems and their variants lead us to the following results. (1) We show that the expressive power of quantum interactive proof systems is exactly PSPACE, the class of problems that can be solved by a polynomial-space deterministic Turing machines and that also admit a classical interactive proof systems. This result shows that in terms of complexity-theoretic characterization, both the models are equivalent. The result is obtained using an algorithmic technique known as the matrix multiplicative weights update method to solve a semidefinite program that characterizes the success probability of the quantum prover. (2) We show that polynomially many logarithmic-size unentangled quantum proofs are no more powerful than a classical proof if the verifier has the ability to process quantum information. This result follows from an observation that logarithmic-size quantum states can be efficiently represented classically and such classical representation can be used to efficiently generate the quantum state. (3) We also establish that the model of multi-prover quantum Merlin Arthur proof system, where the verifier is only allowed to apply nonadaptive unentangled measurement on each proof and then a quantum circuit on the classical outcomes, is no more powerful than QMA under the restriction that there are only polynomial number of outcomes per proof. This result follows from showing that such proof systems also admit a QMA verification procedure. The question related to error reduction via parallel repetition lead us to following results on a class of two-prover one-round games with quantum provers and a class of multi-prover QMA proof systems. (1) We establish that for a certain class of two-prover one-round games known as XOR games, admit a perfect parallel repetition theorem in the following sense. When the provers play a collection of XOR games, an optimal strategy of the provers is to play each instance of the collection independently and optimally. In particular, the success probability of the quantum provers in the n-fold repetition of an XOR game G with quantum value w(G) is exactly (w(G))^n. (2) We show a parallel repetition theorem for two-prover one-round unique games. More specifically, we prove that if the quantum value of a unique game is 1-e, then the quantum value of n-fold repetition of the game is at most (1-e^2/49)^n. We also establish that for certain class of unique games, the quantum value of the n-fold repetition of the game is at most (1-e/4)^n. For the special case of XOR games, our proof technique gives an alternate proof of result mentioned above. 3. Our final result on parallel repetition is concerned with SepQMA(m) proof systems, where the verifier receives m unentangled quantum proofs and the measurement operator corresponding to outcome "accept" is a fully separable operator. We give an alternate proof of a result of Harrow and Montanaro [HM10] that states that perfect parallel repetition theorem holds for such proof systems. The first two results follow from the duality of semidefinite programs and the final result follows from cone programming duality

A systematic review, evidence synthesis and meta-analysis of quantitative and qualitative studies evaluating the clinical effectiveness, the cost-effectiveness, safety and acceptability of interventions to prevent postnatal depression

Background: Postnatal depression (PND) is a major depressive disorder in the year following childbirth, which impacts on women, their infants and their families. A range of interventions has been developed to prevent PND. Objectives: To (1) evaluate the clinical effectiveness, cost-effectiveness, acceptability and safety of antenatal and postnatal interventions for pregnant and postnatal women to prevent PND; (2) apply rigorous methods of systematic reviewing of quantitative and qualitative studies, evidence synthesis and decision-analytic modelling to evaluate the preventive impact on women, their infants and their families; and (3) estimate cost-effectiveness. Data sources: We searched MEDLINE, EMBASE, Science Citation Index and other databases (from inception to July 2013) in December 2012, and we were updated by electronic alerts until July 2013. Review methods: Two reviewers independently screened titles and abstracts with consensus agreement. We undertook quality assessment. All universal, selective and indicated preventive interventions for pregnant women and women in the first 6 postnatal weeks were included. All outcomes were included, focusing on the Edinburgh Postnatal Depression Scale (EPDS), diagnostic instruments and infant outcomes. The quantitative evidence was synthesised using network meta-analyses (NMAs). A mathematical model was constructed to explore the cost-effectiveness of interventions contained within the NMA for EPDS values. Results: From 3072 records identified, 122 papers (86 trials) were included in the quantitative review. From 2152 records, 56 papers (44 studies) were included in the qualitative review. The results were inconclusive. The most beneficial interventions appeared to be midwifery redesigned postnatal care [as shown by the mean 12-month EPDS score difference of –1.43 (95% credible interval –4.00 to 1.36)], person-centred approach (PCA)-based and cognitive–behavioural therapy (CBT)-based intervention (universal), interpersonal psychotherapy (IPT)-based intervention and education on preparing for parenting (selective), promoting parent–infant interaction, peer support, IPT-based intervention and PCA-based and CBT-based intervention (indicated). Women valued seeing the same health worker, the involvement of partners and access to several visits from a midwife or health visitor trained in person-centred or cognitive–behavioural approaches. The most cost-effective interventions were estimated to be midwifery redesigned postnatal care (universal), PCA-based intervention (indicated) and IPT-based intervention in the sensitivity analysis (indicated), although there was considerable uncertainty. Expected value of partial perfect information (EVPPI) for efficacy data was in excess of £150M for each population. Given the EVPPI values, future trials assessing the relative efficacies of promising interventions appears to represent value for money. Limitations: In the NMAs, some trials were omitted because they could not be connected to the main network of evidence or did not provide EPDS scores. This may have introduced reporting or selection bias. No adjustment was made for the lack of quality of some trials. Although we appraised a very large number of studies, much of the evidence was inconclusive. Conclusions: Interventions warrant replication within randomised controlled trials (RCTs). Several interventions appear to be cost-effective relative to usual care, but this is subject to considerable uncertainty. Future work recommendations: Several interventions appear to be cost-effective relative to usual care, but this is subject to considerable uncertainty. Future research conducting RCTs to establish which interventions are most clinically effective and cost-effective should be considered

Rhabdomyoblastic Differentiation in Head and Neck Malignancies Other Than Rhabdomyosarcoma

Rhabdomyosarcoma is a relatively common soft tissue sarcoma that frequently affects children and adolescents and may involve the head and neck. Rhabdomyosarcoma is defined by skeletal muscle differentiation which can be suggested by routine histology and confirmed by immunohistochemistry for the skeletal muscle-specific markers myogenin or myoD1. At the same time, it must be remembered that when it comes to head and neck malignancies, skeletal muscle differentiation is not limited to rhabdomyosarcoma. A lack of awareness of this phenomenon could lead to misdiagnosis and, subsequently, inappropriate therapeutic interventions. This review focuses on malignant neoplasms of the head and neck other than rhabdomyosarcoma that may exhibit rhabdomyoblastic differentiation, with an emphasis on strategies to resolve the diagnostic dilemmas these tumors may present. Axiomatically, no primary central nervous system tumors will be discussed.info:eu-repo/semantics/publishedVersio

The health impacts of energy performance investments in low-income areas: a mixed-methods approach

The study found improvements in subjective well-being and a number of psychosocial outcomes, but there was no evidence of changes in physical health

Effects of Anacetrapib in Patients with Atherosclerotic Vascular Disease

BACKGROUND: Patients with atherosclerotic vascular disease remain at high risk for cardiovascular events despite effective statin-based treatment of low-density lipoprotein (LDL) cholesterol levels. The inhibition of cholesteryl ester transfer protein (CETP) by anacetrapib reduces LDL cholesterol levels and increases high-density lipoprotein (HDL) cholesterol levels. However, trials of other CETP inhibitors have shown neutral or adverse effects on cardiovascular outcomes. METHODS: We conducted a randomized, double-blind, placebo-controlled trial involving 30,449 adults with atherosclerotic vascular disease who were receiving intensive atorvastatin therapy and who had a mean LDL cholesterol level of 61 mg per deciliter (1.58 mmol per liter), a mean non-HDL cholesterol level of 92 mg per deciliter (2.38 mmol per liter), and a mean HDL cholesterol level of 40 mg per deciliter (1.03 mmol per liter). The patients were assigned to receive either 100 mg of anacetrapib once daily (15,225 patients) or matching placebo (15,224 patients). The primary outcome was the first major coronary event, a composite of coronary death, myocardial infarction, or coronary revascularization. RESULTS: During the median follow-up period of 4.1 years, the primary outcome occurred in significantly fewer patients in the anacetrapib group than in the placebo group (1640 of 15,225 patients [10.8%] vs. 1803 of 15,224 patients [11.8%]; rate ratio, 0.91; 95% confidence interval, 0.85 to 0.97; P=0.004). The relative difference in risk was similar across multiple prespecified subgroups. At the trial midpoint, the mean level of HDL cholesterol was higher by 43 mg per deciliter (1.12 mmol per liter) in the anacetrapib group than in the placebo group (a relative difference of 104%), and the mean level of non-HDL cholesterol was lower by 17 mg per deciliter (0.44 mmol per liter), a relative difference of -18%. There were no significant between-group differences in the risk of death, cancer, or other serious adverse events. CONCLUSIONS: Among patients with atherosclerotic vascular disease who were receiving intensive statin therapy, the use of anacetrapib resulted in a lower incidence of major coronary events than the use of placebo. (Funded by Merck and others; Current Controlled Trials number, ISRCTN48678192 ; ClinicalTrials.gov number, NCT01252953 ; and EudraCT number, 2010-023467-18 .)

Law and Ethics of Morally Significant Machines: The case for pre-emptive prevention

Interest in the ethics of Artificial Intelligence systems is dominated by the question of how these sorts of technologies will benefit or harm human individuals and societies. Much less attention is given to the ethics of our interaction with AI systems from the perspective of what may harm or benefit the systems themselves. Despite this, there is potential for future AI systems to be designed in a way that makes them either morally significant entities, or gives them the tools with which to develop degrees of moral significance, perhaps even personhood in the moral sense. This thesis proposes how certain contemporary paradigms in AI might in the future create a morally significant machine, perhaps even a machine person; one which can be harmed to a degree similar to ourselves. This type of system would be the first technology towards which the design of law and policy would be obliged to consider not just human best interests, but the best interests of the technology itself: how it is designed, what we can use it for, what can be done to it, and what we are duty-bound to provide it with. The thesis proposes a wide range of legal and social problems that the invention of such a system would engender, particularly in relation to paradigms like property, legal personality, and rights of both positive and negative nature. It also explores the fraught line-drawing problem of establishing which systems matter and which do not, and what the legal implications of this would be. It establishes that the net demands such a machine would place upon humans informs an argument that there should be a pre-emptive policy to prevent their creation, so as to mitigate harms to both human society and the machines themselves. When closely examined, the reality of a social partnership between persons – both human and machine – is too problematic and too profoundly challenging to the conception of anthropocentric hegemony to be justifiable